Showing 1 - 3 of 3 Results
1.
Three Views of Logic : Mathematics, Philosophy, and Computer Science by Loveland, Donald W., Hodel,... ISBN: 9780691160443 List Price: $49.50
2.
Automated Theorem Proving After 25 Years by Bledsoe, W. W., Loveland, D... ISBN: 9780821850275 List Price: $48.00
3.
Three Views of Logic: Mathematics, Philosophy, and Computer Science by Loveland, Donald W., Hodel,... ISBN: 9781400848751